1. Advances in Data Base Theory :
المؤلف: edited by Hervé Gallaire, Jack Minker, Jean Marie Nicolas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science)
رده :
QA76
.
9
.
D35
E358
1981
2. Foundations of deductive databases and logic programming
المؤلف: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
المکتبة: (طهران)
موضوع: Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
3. Logic-based artificial intelligence /
المؤلف: edited by Jack Minker.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
